rcv($l$,${\it tg}$) declared in $M$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rcv($l$,${\it tg}$) $\in$ dom(1of(2of($M$)))